| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 453215 | ||
| Algorithmic Foundations of Datascience | Übung | 448750 | Di 10:30-12:00 AH I (2350|028) (×12) | |||
| Algorithmic Foundations of Datascience | Vorlesung | 448771 | Mi 08:30-10:00 HKW 2 (1132|303) (×13) Do 14:30-16:00 AH III (2350|314.1) (×12) | |||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 453220 | ||
| Functional Programming | Funktionale Programmierung | Fach-/Modulprüfung | 6 | 453151 | ||
| Logic Programming | Logikprogrammierung | Fach-/Modulprüfung | 6 | 452059 | ||
| Logikprogrammierung | Übung | 454727 | Di 16:30-18:00 AH III (2350|314.1) (×2) Mi 09:00-13:00 AH III (2350|314.1) (×1) Mi 09:30-12:30 5055 (2356|055) (×1) Mi 16:30-18:00 AH IV (2354|030) (×8) Do 09:00-18:00 5055 (2356|055) (×1) Fr 12:30-14:00 AH III (2350|314.1) (×1) | |||
| Logikprogrammierung | Vorlesung | 454728 | Di 16:30-18:00 AH III (2350|314.1) (×11) Mi 16:30-18:00 AH IV (2354|030) (×2) Fr 12:30-14:00 AH III (2350|314.1) (×11) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 455274 | ||
| Introduction to Model Checking | Übung | 455137 | Mo 10:30-12:00 AH II (2350|111) (×1) Mi 16:30-18:00 AH V (2356|050) (×10) | |||
| Introduction to Model Checking | Vorlesung | 455138 | Mo 10:30-12:00 AH II (2350|111) (×12) Mo 14:00-16:00 5055 (2356|055) (×1) Do 12:30-14:00 AH II (2350|111) (×9) |